Gödel, Kurt

Terms from Artificial Intelligence: humans at the heart of algorithms

Gödel, Kurt is a mathematicain famous for his incompleteness theorem that proved it was impossible to prove everything that is true in mathematics. There are some tings that are true, but for which there can never be a proof. That is, there will always be gaps in knowledge that are fundamental, not simply to hard to tackle yet.

Used on page 57

Also known as godel